using System;
using System.Text.RegularExpressions;
using Microsoft.Pex.Framework;

namespace Benchmarks
{
    [PexClass]
    public partial class RegexTest
    {
        [PexMethod]
        public int TestRegex( string s )
        {
            Regex regex = new Regex(@"(a)+\.(b)+\.(c)+");
            if (regex.Match(s).Success)
            {
                return 1;

            }
            else
            {
                return 2;
            }
        }
    }
}